<?php
class config_theme
{
  public $name = 'default';
}
?>